The thesis of 3D/4D equivalence states that every three-dimensional description of the world is translatable without remainder into a four-dimensional description, and vice versa. In representing an object in 3D or in 4D terms we are giving alternative descriptions of one and the same thing, and debates over whether the ontology of the physical world is "really" 3D or 4D are pointless. The twins paradox is shown to rest, in relativistic 4D geometry, on a reversed law of triangle inequality. But (...) considering the twins as 3D beings who age through time, the paradox implies that time passes at different rates in different reference frames, and therefore that the concept of a single global or Absolute time is unsustainable. (shrink)

Storrs McCall presents an original philosophical theory of the nature of the universe based on a striking new model of its space- time structure. He shows how his model illuminates a broad range of subjects, including causation, probability, quantum mechanics, identity, and free will, and argues that the fact that the model throws light on such a large number of problems constitutes strong evidence that the universe is as the model portrays it.

La epistemología / Guéry, François -- Práctica epistemológica y ciencias sociales, o, Cómo desarrollar la lucha de clases en el plano teórico sin internarse en la metafísica / Catells, Manuel y De Ipola, Emilio.

Background Despite the growth of biomedical research in South Africa, there are few insights into the operation of Research Ethics Committees (RECs) in this setting. We investigated the composition, operations and training needs of health RECs in South Africa against the backdrop of national and international guidelines. Methods The 12 major health RECs in South Africa were surveyed using semi-structured questionnaires that investigated the composition and functions of each REC as well as the operational issues facing committees. Results Health RECs (...) in SA have an average of 16 members and REC members are predominantly male and white. Overall, there was a large discrepancy in findings between under-resourced RECs and well resourced RECs. The majority of members (56%) are scientists or clinicians who are typically affiliated to the same institution as the health REC. Community representatives account for only 8% of membership. Training needs for health REC members varied widely. Conclusion Most major health RECs in South Africa are well organized given the resource constraints that exist in relation to research ethics in developing countries. However, the gender, racial and occupational diversity of most of these RECs is suboptimal, and most RECs are not constituted in accordance with South African guidelines. Variability in the operations and training needs of RECs is a reflection of apartheid-entrenched influences in tertiary education in SA. While legislation now exists to enforce standardization of research ethics review systems, no provision has been made for resources or capacity development, especially to support historically-disadvantaged institutions. Perpetuation of this legacy of apartheid represents a violation of the principles of justice and equity. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (Analysis 53(4):251–252, 1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the semantic hypodoxes. We develop (...) a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (J Symb Log 69(3):767–774, 2004) and Yablo (2006) with respect to more restricted sentences systems, which we call $\mathcal{F}$ -systems. (shrink)

This volume contains six new and fifteen previously published essays -- plus a new introduction -- by Storrs McCall. Some of the essays were written in collaboration with E. J. Lowe of Durham University. The essays discuss controversial topics in logic, action theory, determinism and indeterminism, and the nature of human choice and decision. Some construct a modern up-to-date version of Aristotle's bouleusis, practical deliberation. This process of practical deliberation is shown to be indeterministic but highly controlled and the (...) antithesis of chance. Others deal with the concept of branching four-dimensional space-time, explain non-local influences in quantum mechanics, or reconcile God's omniscience with human free will. The eponymous first essay contains the proof of a fact that in 1931 Kurt Gödel had claimed to be unprovable, namely that the set of arithmetic truths forms a consistent system. (shrink)

We all make decisions, sometimes dozens in the course of a day. This paper is about what is involved in this activity. It's my contention that the ability to deliberate, to weigh different courses of action, and then to decide on one of them, is a distinctively human activity, or at least an activity which sets man and the higher animals apart from other creatures. It is as much decisio as ratio that constitutes the distinguishing mark of human beings. Homo (...) may not always be rationalis, but he is always decidens.The paper is about practical decision, although there is also another important kind of decision that I won't discuss, namely cognitive decision. The difference is roughly that which distinguishes the function of a jury from that of a judge, at least in jury trials. The jury's job is to arrive at an answer to the question: guilty or not guilty? This is a cognitive decision, a decision that, on the basis of the evidence, such-and-such is the case. The judge, apprized of the jury's cognitive decision, makes the practical decision to sentence the guilty party to 20 years. On some other occasion, I hope to be able to say something about cognitive decision, as well as about a third kind of decision named value decision. (shrink)

The notion that something can exist a se is central to Descartes’s overall metaphysics of causation. In the Meditations, divine aseity plays the role of explaining not only God’s existence but ultimately the existence of everything else apart from God. Yet in the Meditations proper, as well as in the early Replies, Descartes does little to clarify exactly what his view of divine aseity is and how it might differ from the sort of aseity commonly posited by the Scholastics. Despite (...) Descartes’s later attempts to assuage this worry and clarify his position, the positive aseity charge has not gone away. Here I shall argue that the charge is unjustified on all counts. Baldly stated, Descartes’s notion of aseity is no different than the negative sense of aseity endorsed by his Scholastic predecessors - especially Aquinas. Understanding this not only helps in clarifying the overall picture of Cartesian causality but also aids in seeing how commentaries on the Meditations, old and new, have obscured it. (shrink)

William Lane Craig's defence of the kalam cosmological argument rests heavily on two philosophical arguments against a past-eternal universe. In this article I take issue with one of these arguments, what I call the – namely, that the metaphysical absurdity of an actually infinite number of things existing precludes the possibility of a beginningless past. After explaining this argument, I proceed to raise some initial doubts. After setting those aside, I show that the argument is ineffective against proponents of presentism. (...) The remainder of the article considers and rejects possible replies on Craig's behalf. (shrink)

Prior to their announcement of the birth of gene-edited twins in China, Dr. He Jiankui and colleagues published a set of draft ethical principles for discussing the legal, social, and ethical aspects of heritable genome interventions. Within this document, He and colleagues made it clear that their goal with these principles was to “clarify for the public the clinical future of early-in-life genetic surgeries” or heritable genome editing. In light of He’s widely criticized gene editing experiments it is of interest (...) to place these draft principles in the larger ethical debate surrounding heritable genome editing. Here we examine the principles proposed by He and colleagues through the lens of Beauchamp and Childress’ Principles of Biomedical Ethics. We also analyze the stated goal that the “clinical future” of heritable genome editing was clarified by He and colleagues’ proposed principles. Finally, we highlight what might be done to help prevent individual actors from pushing forward ahead of broad societal consensus on heritable genome editing. (shrink)

As interest in Owen Barfield grows, we aim to meet the need for a scholarly introduction to his thought. Our primary purpose is to present an overview, analysis, and synthesis of Barfield's most salient ideas in a manner that will be of interest to neophytes and initiates alike. Barfield's work can, at time, be difficult to understand; C. S. Lewis put it well when he described Barfield's style of argument as 'dark, labyrinthine,' and 'pertinacious.' But Lewis ardently promoted Barfield's work (...) because he knew that people who willingly walk in those dim and winding corridors are, in time, richly rewarded by the bright light at their end. We offer the present work in service to those who wish to undertake this adventure. While the present book will help those readers who wish to engage Barfield for the sake of achieving a greater understanding of and appreciation for other writers who have been associated with or influenced by him, we aim first and foremost to present Barfield as a profound and original thinker in his own right. (shrink)

Any "classical" theory of truth will satisfy tarski's criterion ("p" is true if and only if p), And the principle of bivalence (every proposition is either true or false). A non-Classical theory may be obtained by rejecting these principles: - in fact it is shown that rejection of the second entails rejection of the first. If the resulting non-Classical theory is formalized, A system structurally isomorphic to either s4 or s5 is obtained. An attempt is made to show that the (...) essential insights of intuitionist logic may be preserved if we replace their complex and in many respects "unintuitive" propositional logic by a theory of truth which is non-Classical in the sense described above. (shrink)

The evolution of a single trapped ion exhibiting intermittent fluorescence and dark periods may be described either as a continuous process, using differential rate equations, or discretely, as a Markov process. The latter models the atom as making instantaneous transitions from one energy eigenstate to another, and is open to the objection that superpositions of energy states will form which are not covered by the Markov process. The superposition objection is replied to, and two new mathematical elements, Markov vectors and (...) Markov matrices, are proposed as additions to quantum theory. The paper concludes by attributing the cause of dark periods in the ion's history to instantaneous transitions in the ion itself, rather than to photon detection or other components of measurement. (shrink)

Anti-vascular endothelial growth factor therapy has revolutionised the treatment of a variety of ophthalmic conditions and has become the first-line therapy for a range of retinal diseases. Bevacizumab, a VEGF inhibitor first approved for the treatment of colorectal cancer, has been shown to be nearly or virtually as effective and safe as other anti-VEGF therapies in the treatment of certain retinal diseases but is not approved or registered by the Food and Drug Administration or European Medicines Agency. While other anti-VEGF (...) options are approved and registered, they are generally more expensive and less accessible. Accordingly, despite its off-label status, bevacizumab is frequently used for a variety of disabling retinal diseases. Indeed, bevacizumab is included on the World Health Organization’s list of essential medicines. However, its use in some parts of the world remains restricted due to its off-label status. How, then, should healthcare authorities approach this situation? What are the ethical and societal implications of adhering to a standard and generally effective evaluation and approval system while restricting access to a potentially cost-saving therapy? In countries where its use is not restricted, how should providers approach off-label treatment with bevacizumab? By examining the evidence behind bevacizumab’s efficacy and safety and evaluating the individual and societal implications of off-label use and restriction, this paper illustrates the ethical factors providers and policy makers must consider in the off-label use of bevacizumab and ultimately argues for increased access to bevacizumab in the treatment of retinal disease. (shrink)

Beginning from an analysis of what factors disqualify a person from complaining about a given moral breach, I show that the prima facie presumption that a complaint is justified in the face of non-moral offense in the context of a business transaction must be balanced against the potential consequences to the object of the complaint, especially given the particular realities of popular employment practices. In particular, I will identify three cases in which complamts are justified, presuming unjust employment arrangements, as (...) a way of showing that complaints in other situations should be, contrary to naive intuition, considered inappropriate. (shrink)

Social scientists agree that women are generally more religious than men, but disagree about whether the differences are universal or contingent on social context. This study uses General Social Survey data to explore differences in religiosity between, as well as among, women and men by level of individual earned income. Extending previous research, I focus on high earners with other groups included for comparison. Predicted probabilities based upon fully interacted models provide four key findings: There are no significant gender differences (...) among high earners; high-earning women are less religious than low-earning women; high-earning men are more religious than low-earning men; and differences among women and among men at different earnings levels are just as large as average differences between women and men. Further analyses demonstrate that the relationship between gender, earnings, and religiosity varies by race. The findings demonstrate the utility of intersectional approaches for understanding gender differences in religiosity. Beyond the implications specific to the gender differences in religiosity literature, this study also indicates that religion is an important, yet often underemphasized, aspect of our intersectional selves. (shrink)

This paper will set out in plain language the basic ontology of “Deleuze’s Spinoza”; it will then critically examine whether such a Spinoza has, or indeed could have, ever truly existed. In this, it will be shown that Deleuze’s reading of Spinoza involves the imposition of three interlocking, formal principles. These are (1) Necessitarianism, (2) Immanence, and (3) Univocity. The uncovering of Deleuze’s use of these three principles, how they relate to one another, and what they jointly imply in terms (...) of ontology, will occupy Part 1 of this paper. The critique of these principles from a Spinozist perspective, i.e. that their use by Deleuze is incompatible with Spinoza’s own metaphysics, will occupy Part 2 of this paper. (shrink)

Anthony Storr offers a lucid and objective look at Freud's major theories, evaluating whether they have stood the test of time, and in the process examines Freud himself in light of his own ideas. 'a model exercise in synthesis, and the final essay on the 'appeal' of psychotherapy is especially neat.' -Independent.

This book offers a comprehensive critical survey of issues of historical interpretation and evaluation in Bertrand Russell's 1918 logical atomism lectures and logical atomism itself. These lectures record the culmination of Russell's thought in response to discussions with Wittgenstein on the nature of judgement and philosophy of logic and with Moore and other philosophical realists about epistemology and ontological atomism, and to Whitehead and Russell’s novel extension of revolutionary nineteenth-century work in mathematics and logic. Russell's logical atomism lectures have had (...) a lasting impact on analytic philosophy and on Russell's contemporaries including Carnap, Ramsey, Stebbing, and Wittgenstein. Comprised of 14 original essays, this book will demonstrate how the direct and indirect influence of these lectures thus runs deep and wide. (shrink)

A theory of temporal passage is put forward which is "objective" in the sense that time flow characterizes the universe independently of the existence of conscious beings. The theory differs from Grunbaum's "mind-dependence" theory, and is designed to avoid Grunbaum's criticisms of an earlier theory of Reichenbach's. The representation of temporal becoming is accomplished by the introduction of indeterministic universe-models; each model representing the universe at a time. The models depict the past as a single four-dimensional manifold, and the future (...) as a branched structure of such manifolds. Time flow is relativistic in that it manifests itself in a frame-dependent (but not observer-dependent) way. The indeterministic character of the universe-models is mirrored in a "temporal" theory of truth which rejects the principle of bivalence, and suitable semantics are provided for this theory. Finally, an account of physical law is given which defines it in terms of physical possibility, rather than vice versa. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (shrink)

A common criticism of free will or origination theories is that if what we do is not the result of an unbroken sequence of causes and effects, then it must to some degree be the product of chance. But in what sense can a chance act be intentional or deliberate, in what sense can it be based on reasons, and in what sense can a person be held responsible for it? If free and responsible action is incompatible with determinism, must (...) it not equally well be incompatible with indeterminism? Professor McCall says no. He argues that a new idea, that of a controlled indeterministic process, resolves a variety of classical dilemmas and opens the way to a new understanding of the relationship between actions, reasons, causes, and responsibility. Does he succeed? All of this, like a related line of argument by Professor McCann to which you can turn, is a long way from what seems to me the continuing arguableness of determinism and the unavoidableness of the proposition that both incompatibilism and compatibilism about freedom are false. But we all need to remember, with Cromwell, in our own bowels if not by those of Christ, that we may be mistaken. I guess that given the proportion of false to true views in the world, we need to remember it is arguable that we are more likely to be mistaken. (shrink)

Though the interaction of philosophy with pop culture has so far mostly taken the form of books for nonphilosophers that use various shows and movies as sources of examples to illustrate “traditional” philosophical issues, this article contends that serious engagement with the informal philosophical discussions expressed in popular entertainments constitutes a kind of “ethnophilosophy” and should be considered an important part of the discipline. Our disciplinary responsibility for maintaining and considering the history of philosophy ought to include even the philosophical (...) conversations that occur outside the academy; however unlike “proper” philosophy this material may be, it nonetheless represents engagement—sometimes substantial engagement—with the same issues that concern those of us who are considered “professional” philosophers, and thus is legitimately of interest to us. (shrink)

A stranger runs out of a bank while I am sitting at the wheel of my car waiting for the lights to change; he jumps in beside me, points a gun at me, and says, “Drive me to St. Bruno.” This is Andre Gombay's example, from his excellent paper on duress. The question that interests Gombay and me is: Could I refrain from doing what the gunman asks?

I critically discuss a new proposal for a metaphysics of sense-data. This proposal is due to Peter Forrest. Forrest argues that, if we accept Platonism about universals, sense-data are best understood as structured universals–in particular, as structured universals with temporal and spatial properties as components. Against this proposal, I argue sense-data as structured universals are not universals at all.

I here defend logical atomism. This defense rests on reinterpreting logical atomism as a search for logical forms. This reinterpretation has two parts comprising six chapters. In the first part, I do some historically-driven recovery. In the introduction, I review the literature on Russell's logical atomism. In Chapter 1, I argue that the dominant interpretation of logical atomism is wrong on historical grounds: it accounts for neither the history of logical atomism nor for crucial elements of the logical atomist texts. (...) In Chapter 2, I then use Russell's writings to recover what I argue is the core of logical atomism. I explicate the critical notions and essential ingredients of logical atomism using "Principia Mathematica" as the archetype of logical atomism. I argue that logical atomsts are term busters. The essential ingredient of a logical atomist's term busting practice is a higher-order logic with the power of impredicative comprehension. In Chapter 3, I discuss the widespread view that Wittgenstein held a version of logical atomism. Focusing on his pre-"Tractatus" writings and changes in his earlier views, I argue that Wittgenstein embraced a philosophy of logic incompatible with emulating impredicative comprehension in April 1914. As such, Wittgenstein was a logical atomist, if ever, in October 1913, possibly through April 1914. In the second part, having clarified what logical atomism is, I present a modern logical atomism. In Chapter 4, I develop a philosophy of logic for logical atomism based on the notion of a pure logic. I critically discuss normativity in logic, the epistemology of pure logic, and logical pluralism. In Chapter 5, I propose a formal logic for logical atomism. I argue for the logic of logical atomism being an infinitely-descending and infinitely-ascending simple type theory with impredicative comprehension compatible with a domain empty of particulars. In Chapter 6, I critically discuss what the ontology of logical atomism should be, that is, what the ontology of the logical atomist's logic must be. This includes an ontology of logical concepts and of logical forms as completely-general, necessarily-existing logical facts with no constituents. I conclude by indicating avenues for new work on logical atomism. (shrink)